<html>
<head><meta charset="utf-8"><title>meeting 2019.06.04 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html">meeting 2019.06.04</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="167326061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326061">(Jun 04 2019 at 19:00)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> :)</p>



<a name="167326072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326072">(Jun 04 2019 at 19:01)</a>:</h4>
<p>Hi!</p>



<a name="167326112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326112">(Jun 04 2019 at 19:01)</a>:</h4>
<p>hopefully y'all are good</p>



<a name="167326149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326149">(Jun 04 2019 at 19:02)</a>:</h4>
<p>Yup!</p>



<a name="167326178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326178">(Jun 04 2019 at 19:02)</a>:</h4>
<p>hi!</p>



<a name="167326182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326182">(Jun 04 2019 at 19:02)</a>:</h4>
<p>our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AebSBEeTS4jlkw3haAWPp7QaAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AebSBEeTS4jlkw3haAWPp7QaAg-hk3a9ynduUN2gk1A0NNTF">usual Paper doc</a></p>



<a name="167326208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326208">(Jun 04 2019 at 19:02)</a>:</h4>
<p>I've tried to look at what happened last meeting and this week</p>



<a name="167326242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326242">(Jun 04 2019 at 19:03)</a>:</h4>
<p>(encoded as parts of this meeting minutes PR <a href="https://github.com/rust-lang/compiler-team/pull/101" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/101">https://github.com/rust-lang/compiler-team/pull/101</a>)</p>



<a name="167326270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326270">(Jun 04 2019 at 19:03)</a>:</h4>
<p>I've seen the measureme/summarize problems were fixed <span class="user-mention" data-user-id="218716">@lokalmatador</span> that's great :)</p>



<a name="167326272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326272">(Jun 04 2019 at 19:03)</a>:</h4>
<p>howdy</p>



<a name="167326321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326321">(Jun 04 2019 at 19:04)</a>:</h4>
<p>yup</p>



<a name="167326333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326333">(Jun 04 2019 at 19:04)</a>:</h4>
<p>I've also watched the video between Albin and Niko, thanks for doing this you two :)</p>



<a name="167326339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326339">(Jun 04 2019 at 19:04)</a>:</h4>
<p>doing another compile run right now - did a test earlier and I'm getting results</p>



<a name="167326351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326351">(Jun 04 2019 at 19:04)</a>:</h4>
<p>Cool! How involved is getting profiling data?</p>



<a name="167326362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326362">(Jun 04 2019 at 19:04)</a>:</h4>
<p>how hard you mean ?</p>



<a name="167326370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326370">(Jun 04 2019 at 19:05)</a>:</h4>
<p>Err, yes</p>



<a name="167326389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326389">(Jun 04 2019 at 19:05)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> is there any chance you could cleanup <a href="https://github.com/rust-lang/polonius/pull/105" target="_blank" title="https://github.com/rust-lang/polonius/pull/105">https://github.com/rust-lang/polonius/pull/105</a> so as to put all the "fact updates" into one commit, and the interesting stuff in another? :)</p>



<a name="167326397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326397">(Jun 04 2019 at 19:05)</a>:</h4>
<p>so next thing will be to check with - I guess <span class="user-mention" data-user-id="116009">@nikomatsakis</span> - if I did not miss anything and then look into running it on some larger pieces of code</p>



<a name="167326399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326399">(Jun 04 2019 at 19:05)</a>:</h4>
<p>(I'd be happy with a squashed history with 2 commits)</p>



<a name="167326402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326402">(Jun 04 2019 at 19:05)</a>:</h4>
<p>I think it uses the <span aria-label="star" class="emoji emoji-2b50" role="img" title="star">:star:</span> <code>-Z self-profile</code> <span aria-label="star" class="emoji emoji-2b50" role="img" title="star">:star:</span>  so I think very easy :)</p>



<a name="167326428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326428">(Jun 04 2019 at 19:05)</a>:</h4>
<blockquote>
<p>Cool! How involved is getting profiling data?</p>
</blockquote>
<p>actually not that much</p>



<a name="167326499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326499">(Jun 04 2019 at 19:06)</a>:</h4>
<p>the API is evntually pretty straight-forward</p>



<a name="167326507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326507">(Jun 04 2019 at 19:06)</a>:</h4>
<p>and measurme gives some nice overview</p>



<a name="167326508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326508">(Jun 04 2019 at 19:06)</a>:</h4>
<blockquote>
<p>(I'd be happy with a squashed history with 2 commits)</p>
</blockquote>
<p>that'll be only one commit with 1.7M changes :)</p>



<a name="167326529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326529">(Jun 04 2019 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> It requires git-fu that's a bit over my head, but I'll try. I think what I'd want to do is to undo all commits and go back to just the changed files, and then re-commit everything. Which I suppose I could do?</p>



<a name="167326546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326546">(Jun 04 2019 at 19:07)</a>:</h4>
<p>if you want, I can do it quite easily</p>



<a name="167326549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326549">(Jun 04 2019 at 19:07)</a>:</h4>
<p>but yes</p>



<a name="167326555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326555">(Jun 04 2019 at 19:07)</a>:</h4>
<p>I suppose I ought to just review by checking out your branch in any case</p>



<a name="167326566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326566">(Jun 04 2019 at 19:07)</a>:</h4>
<p>I think it would be good for me to know how to do that though</p>



<a name="167326624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326624">(Jun 04 2019 at 19:08)</a>:</h4>
<p>the basic idea is <code>git reset $(git merge-base rust-lang/master HEAD)</code> and then adding back the files</p>



<a name="167326627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326627">(Jun 04 2019 at 19:08)</a>:</h4>
<p>presuming you named your "remote" rust-lang :)</p>



<a name="167326633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326633">(Jun 04 2019 at 19:08)</a>:</h4>
<p>Ok that's...easier than I thought</p>



<a name="167326654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326654">(Jun 04 2019 at 19:08)</a>:</h4>
<p>I was wondering about this Niko, around <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/liveness.20polonius.23104/near/167272918" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/liveness.20polonius.23104/near/167272918">here</a> about this huge diff</p>



<a name="167326656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326656">(Jun 04 2019 at 19:08)</a>:</h4>
<p>I'll have a look at it after the meeting</p>



<a name="167326665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326665">(Jun 04 2019 at 19:08)</a>:</h4>
<p>er, after the <code>git reset</code>, I think you will have everything staged in your index, so maybe you have to unstage</p>



<a name="167326694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326694">(Jun 04 2019 at 19:09)</a>:</h4>
<p>I haven't used the command line in a while, I tend to use the emacs magit mode :)</p>



<a name="167326698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326698">(Jun 04 2019 at 19:09)</a>:</h4>
<p>I can deal with that</p>



<a name="167326701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326701">(Jun 04 2019 at 19:09)</a>:</h4>
<p>Yep, that's what I'm using too</p>



<a name="167326703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326703">(Jun 04 2019 at 19:09)</a>:</h4>
<blockquote>
<p>I was wondering about this Niko, around <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/liveness.20polonius.23104/near/167272918" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/liveness.20polonius.23104/near/167272918">here</a> about this huge diff</p>
</blockquote>
<p>yeah</p>



<a name="167326707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326707">(Jun 04 2019 at 19:09)</a>:</h4>
<p>since that includes, regenerating all the clap facts (most of the diff), copying over some of rustcs tests (including some commented out ones)</p>



<a name="167326710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326710">(Jun 04 2019 at 19:09)</a>:</h4>
<blockquote>
<p>Yep, that's what I'm using too</p>
</blockquote>
<p>ah, then you want <code>X s</code> ("soft git reset")</p>



<a name="167326733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326733">(Jun 04 2019 at 19:10)</a>:</h4>
<blockquote>
<p>since that includes, regenerating all the clap facts (most of the diff), copying over some of rustcs tests (including some commented out ones)</p>
</blockquote>
<p>you were wondering about separating the commits? or whether the regenerated facts were truly necessary</p>



<a name="167326782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326782">(Jun 04 2019 at 19:10)</a>:</h4>
<p>i'm mostly just assuming they're correct, of course</p>



<a name="167326794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326794">(Jun 04 2019 at 19:10)</a>:</h4>
<p>mostly the second, hoping they are correct indeed</p>



<a name="167326809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326809">(Jun 04 2019 at 19:10)</a>:</h4>
<p>well, presumably we have to generate the new liveness facts</p>



<a name="167326815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326815">(Jun 04 2019 at 19:10)</a>:</h4>
<p>so I guess we might as well regenerate everything</p>



<a name="167326816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326816">(Jun 04 2019 at 19:10)</a>:</h4>
<p>and whether/how we would plan testing, fact regeneration, etc</p>



<a name="167326831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326831">(Jun 04 2019 at 19:11)</a>:</h4>
<p>that reminds me :)</p>



<a name="167326839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326839">(Jun 04 2019 at 19:11)</a>:</h4>
<p>you had that branch with testing results...</p>



<a name="167326840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326840">(Jun 04 2019 at 19:11)</a>:</h4>
<p>how to choose between testing in our repo versus rustc's</p>



<a name="167326847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326847">(Jun 04 2019 at 19:11)</a>:</h4>
<p>yes</p>



<a name="167326867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326867">(Jun 04 2019 at 19:11)</a>:</h4>
<p>I still don't know of a better way to test correctness than testing against rustc</p>



<a name="167326870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326870">(Jun 04 2019 at 19:11)</a>:</h4>
<p>(I haven't yet been able to go back to this since coming back from vacation but will work on this this week)</p>



<a name="167326877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326877">(Jun 04 2019 at 19:11)</a>:</h4>
<p>however, it occurs to me that <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>'s liveness work - might be good to check?</p>



<a name="167326922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326922">(Jun 04 2019 at 19:12)</a>:</h4>
<p>but I guess we can land it and then "Fix up"</p>



<a name="167326949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326949">(Jun 04 2019 at 19:12)</a>:</h4>
<p>probably easier to land and fix up, because it depends on a PR from Matthew which I think hasn't landed yet</p>



<a name="167326971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326971">(Jun 04 2019 at 19:13)</a>:</h4>
<p>but both would work for sure</p>



<a name="167326989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326989">(Jun 04 2019 at 19:13)</a>:</h4>
<p>yeah</p>



<a name="167326997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167326997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167326997">(Jun 04 2019 at 19:13)</a>:</h4>
<blockquote>
<p>(I haven't yet been able to go back to this since coming back from vacation but will work on this this week)</p>
</blockquote>
<p>what is the plan here -- to land those ref files I guess?</p>



<a name="167327011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327011">(Jun 04 2019 at 19:13)</a>:</h4>
<p>for some yes</p>



<a name="167327020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327020">(Jun 04 2019 at 19:13)</a>:</h4>
<p>some are trivial, either ignoring or landing the ref files</p>



<a name="167327067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327067">(Jun 04 2019 at 19:14)</a>:</h4>
<p>the rest I would like to look at more closely</p>



<a name="167327073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327073">(Jun 04 2019 at 19:14)</a>:</h4>
<p>to even know what is going on tbh</p>



<a name="167327079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327079">(Jun 04 2019 at 19:14)</a>:</h4>
<p>apart from that, <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and I recorded a call where we discussed how to handle the "move/initialization" analysis (posted it to youtube, too), so I guess the next steps there are to implement that</p>



<a name="167327094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327094">(Jun 04 2019 at 19:14)</a>:</h4>
<p>and of course there is the proposed change that I wanted to make to polonius to remove subset relations :)</p>



<a name="167327108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327108">(Jun 04 2019 at 19:14)</a>:</h4>
<p>(I've watched it :)</p>



<a name="167327116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327116">(Jun 04 2019 at 19:14)</a>:</h4>
<p>which is probably another heading</p>



<a name="167327117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327117">(Jun 04 2019 at 19:14)</a>:</h4>
<p>in the paper doc</p>



<a name="167327131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327131">(Jun 04 2019 at 19:15)</a>:</h4>
<p>do we feel we have enough there to start working on the move/init ?</p>



<a name="167327168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327168">(Jun 04 2019 at 19:15)</a>:</h4>
<p>let's see what <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> thinks ;)</p>



<a name="167327192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327192">(Jun 04 2019 at 19:15)</a>:</h4>
<p>Yes, I think so!</p>



<a name="167327203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327203">(Jun 04 2019 at 19:15)</a>:</h4>
<p>I haven't looked at it yet, but I think I have enough to get started</p>



<a name="167327264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327264">(Jun 04 2019 at 19:16)</a>:</h4>
<p>The polonius stuff for move/init will probably not be very hard; the rustc part is what I worry about</p>



<a name="167327278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327278">(Jun 04 2019 at 19:16)</a>:</h4>
<blockquote>
<p>and of course there is the proposed change that I wanted to make to polonius to remove subset relations :)</p>
</blockquote>
<p>here, we might need more details but I'd love to take a look at that</p>



<a name="167327296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327296">(Jun 04 2019 at 19:16)</a>:</h4>
<p>I was looking over the list of videos to record -- after talking with <span class="user-mention" data-user-id="127262">@Aaron Weiss</span>, I feel like I remember better some of the more subtle interactions</p>



<a name="167327312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327312">(Jun 04 2019 at 19:16)</a>:</h4>
<p>we could try to take advantage of that by recording another "general" session to talk over the subset relation and the role it plays, why we might be able to get rid of it</p>



<a name="167327334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327334">(Jun 04 2019 at 19:17)</a>:</h4>
<p>before I forget again :P</p>



<a name="167327337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327337">(Jun 04 2019 at 19:17)</a>:</h4>
<p>That sounds like a very good idea</p>



<a name="167327457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327457">(Jun 04 2019 at 19:18)</a>:</h4>
<p>I was noticing a lot of our <code>outlives</code> relation data are the cycles you talked about, I think</p>



<a name="167327461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327461">(Jun 04 2019 at 19:18)</a>:</h4>
<blockquote>
<p>The polonius stuff for move/init will probably not be very hard; the rustc part is what I worry about</p>
</blockquote>
<p>hm, that probably also would be worth to consider in profiling?</p>



<a name="167327481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327481">(Jun 04 2019 at 19:18)</a>:</h4>
<p>at some point</p>



<a name="167327484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327484">(Jun 04 2019 at 19:18)</a>:</h4>
<p>Yes, and the liveness</p>



<a name="167327493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327493">(Jun 04 2019 at 19:19)</a>:</h4>
<p>That's now a separate calculation</p>



<a name="167327506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327506">(Jun 04 2019 at 19:19)</a>:</h4>
<p>A separate function, even</p>



<a name="167327524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327524">(Jun 04 2019 at 19:19)</a>:</h4>
<blockquote>
<p>A separate function, even</p>
</blockquote>
<p>then just let me know when it's ready to profile</p>



<a name="167327531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327531">(Jun 04 2019 at 19:19)</a>:</h4>
<p>we can use measureme inside polonius itself right ?</p>



<a name="167327539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327539">(Jun 04 2019 at 19:19)</a>:</h4>
<p>Well first things first, let's merge it :)</p>



<a name="167327544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327544">(Jun 04 2019 at 19:19)</a>:</h4>
<p>sure sure</p>



<a name="167327594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327594">(Jun 04 2019 at 19:20)</a>:</h4>
<p>no need to hurry</p>



<a name="167327609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327609">(Jun 04 2019 at 19:20)</a>:</h4>
<blockquote>
<p>we can use measureme inside polonius itself right ?</p>
</blockquote>
<p>ah, in how far do you mean?</p>



<a name="167327630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327630">(Jun 04 2019 at 19:20)</a>:</h4>
<p>does it have an API for that? I honestly did no check yet</p>



<a name="167327667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327667">(Jun 04 2019 at 19:21)</a>:</h4>
<p>measuring from within rustc we'd have a global polonius execution time, but in the future it might be interesting to have profiling of polonius itself</p>



<a name="167327698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327698">(Jun 04 2019 at 19:21)</a>:</h4>
<p>eg computing liveness, checking illegal accesses, illegal subset relations, etc when polonius does more I mean</p>



<a name="167327762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327762">(Jun 04 2019 at 19:22)</a>:</h4>
<p>I see</p>



<a name="167327766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327766">(Jun 04 2019 at 19:22)</a>:</h4>
<p>Well, I do emit a debug log entry with the runtime for the liveness calculations :)</p>



<a name="167327780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327780">(Jun 04 2019 at 19:22)</a>:</h4>
<p>You could parse that ;)</p>



<a name="167327784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327784">(Jun 04 2019 at 19:22)</a>:</h4>
<p>sure :)</p>



<a name="167327787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327787">(Jun 04 2019 at 19:22)</a>:</h4>
<p>(that was a joke)</p>



<a name="167327831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327831">(Jun 04 2019 at 19:23)</a>:</h4>
<p>ps <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I've been skimming the PR, looks good from what I can tell, i'm inclined to land</p>



<a name="167327838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327838">(Jun 04 2019 at 19:23)</a>:</h4>
<p>(I did a local checkout)</p>



<a name="167327841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327841">(Jun 04 2019 at 19:23)</a>:</h4>
<p>Good</p>



<a name="167327853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327853">(Jun 04 2019 at 19:23)</a>:</h4>
<p>I'm working on the new commit history!</p>



<a name="167327860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327860">(Jun 04 2019 at 19:23)</a>:</h4>
<p>ok</p>



<a name="167327863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327863">(Jun 04 2019 at 19:23)</a>:</h4>
<p>Almost done</p>



<a name="167327870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327870">(Jun 04 2019 at 19:23)</a>:</h4>
<p>let me know when that's done and I'll take a last look</p>



<a name="167327887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327887">(Jun 04 2019 at 19:23)</a>:</h4>
<p>so -- do we know what we're up to in the coming week? one thing might be scheduling a time to go over polonius</p>



<a name="167327892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327892">(Jun 04 2019 at 19:23)</a>:</h4>
<p>that is, another zoom call</p>



<a name="167327896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327896">(Jun 04 2019 at 19:23)</a>:</h4>
<p>so I think the plan for this week is more profiling from <span class="user-mention" data-user-id="218716">@lokalmatador</span>, niko reviewing the polonius PR + releasing a new version when it lands, and Albin updating the rustc PR after that</p>



<a name="167327899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327899">(Jun 04 2019 at 19:23)</a>:</h4>
<p>we did friday morning last week</p>



<a name="167327947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327947">(Jun 04 2019 at 19:24)</a>:</h4>
<ul>
<li>possibly some move/init from Albin</li>
</ul>



<a name="167327953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327953">(Jun 04 2019 at 19:24)</a>:</h4>
<p>I think Friday at 9:00 UTC-04:00 would be good for me again</p>



<a name="167327956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327956">(Jun 04 2019 at 19:24)</a>:</h4>
<p>myself -&gt; rustc tests</p>



<a name="167327963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167327963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167327963">(Jun 04 2019 at 19:24)</a>:</h4>
<p>15:00 CEST</p>



<a name="167328006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328006">(Jun 04 2019 at 19:24)</a>:</h4>
<p>I probably could attend at this time</p>



<a name="167328117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328117">(Jun 04 2019 at 19:26)</a>:</h4>
<p>I could too</p>



<a name="167328136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328136">(Jun 04 2019 at 19:26)</a>:</h4>
<p>ok :) <span class="user-mention" data-user-id="218716">@lokalmatador</span> ps not sure if you've interest in attending/watching these calls, but obviously you'd be weclome =)</p>



<a name="167328137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328137">(Jun 04 2019 at 19:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> what does "going over polonius" entail? is this the kind of thing I'd want to make time for?</p>



<a name="167328142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328142">(Jun 04 2019 at 19:26)</a>:</h4>
<p>Ok, two-commit history super force pushed!</p>



<a name="167328163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328163">(Jun 04 2019 at 19:26)</a>:</h4>
<p>Either it worked or the entire history is hosed</p>



<a name="167328165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328165">(Jun 04 2019 at 19:26)</a>:</h4>
<p>(I have back-ups)</p>



<a name="167328167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328167">(Jun 04 2019 at 19:26)</a>:</h4>
<p><span class="user-mention" data-user-id="127262">@Aaron Weiss</span> probably, but I intended to talk over a lot of the stuff we discussed over lunch the other day</p>



<a name="167328169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328169">(Jun 04 2019 at 19:26)</a>:</h4>
<p>And back-ups of those</p>



<a name="167328178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328178">(Jun 04 2019 at 19:26)</a>:</h4>
<blockquote>
<p>(I have back-ups)</p>
</blockquote>
<p>git reflog is your friend :)</p>



<a name="167328199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328199">(Jun 04 2019 at 19:27)</a>:</h4>
<p>i.e., the examples showing <em>why</em> we have subset propagation</p>



<a name="167328222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328222">(Jun 04 2019 at 19:27)</a>:</h4>
<p>the dreaded <a href="https://github.com/rust-lang/rust/issues/47680" target="_blank" title="https://github.com/rust-lang/rust/issues/47680">#47680</a></p>



<a name="167328228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328228">(Jun 04 2019 at 19:27)</a>:</h4>
<p>and how they wind up working out and why</p>



<a name="167328239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328239">(Jun 04 2019 at 19:27)</a>:</h4>
<p>Well,  9 am on Friday works for me. So, if you want me to be there, I'll throw it on my calendar.  <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="167328252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328252">(Jun 04 2019 at 19:27)</a>:</h4>
<p>I can add you to the invite :) it'll be on the compiler team calendar</p>



<a name="167328324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328324">(Jun 04 2019 at 19:28)</a>:</h4>
<p>Works for me!</p>



<a name="167328330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328330">(Jun 04 2019 at 19:28)</a>:</h4>
<blockquote>
<p>ok :) <span class="user-mention silent" data-user-id="218716">lokalmatador</span> ps not sure if you've interest in attending/watching these calls, but obviously you'd be weclome =)</p>
</blockquote>
<p>well, as I guess can learn some things it would make sense</p>



<a name="167328335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328335">(Jun 04 2019 at 19:28)</a>:</h4>
<p>what can we prepare for this call ?</p>



<a name="167328355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328355">(Jun 04 2019 at 19:28)</a>:</h4>
<p>(read/learn/etc)</p>



<a name="167328394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328394">(Jun 04 2019 at 19:29)</a>:</h4>
<p><a href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWwxZjVlN2k0anVscWcxZXJlZ2loYXUyc3QgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com" target="_blank" title="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWwxZjVlN2k0anVscWcxZXJlZ2loYXUyc3QgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com">event link</a></p>



<a name="167328404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328404">(Jun 04 2019 at 19:29)</a>:</h4>
<p>if you want me to add you as an invitee, privmsg me your e-mail (or pubmsg, as you choose :)</p>



<a name="167328489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328489">(Jun 04 2019 at 19:30)</a>:</h4>
<blockquote>
<p>what can we prepare for this call ?</p>
</blockquote>
<p>uh not sure :)</p>



<a name="167328499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328499">(Jun 04 2019 at 19:30)</a>:</h4>
<p>I should post the video from the last one</p>



<a name="167328501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328501">(Jun 04 2019 at 19:30)</a>:</h4>
<p>dang it</p>



<a name="167328528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328528">(Jun 04 2019 at 19:31)</a>:</h4>
<p><em>shakes fist at video editing</em></p>



<a name="167328584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328584">(Jun 04 2019 at 19:31)</a>:</h4>
<p>and with that we are right on time, we are sheduling experts, it's uncanny :) have a lovely evening/afternoon everyone, talk to you on Friday <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="167328638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328638">(Jun 04 2019 at 19:32)</a>:</h4>
<p>Yay!</p>



<a name="167328656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328656">(Jun 04 2019 at 19:32)</a>:</h4>
<p>(I'll prepare the minutes)</p>



<a name="167328671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328671">(Jun 04 2019 at 19:32)</a>:</h4>
<p>I have another thing that I just realised I forgot about</p>



<a name="167328714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328714">(Jun 04 2019 at 19:33)</a>:</h4>
<p>expert scheduling canceled</p>



<a name="167328728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328728">(Jun 04 2019 at 19:33)</a>:</h4>
<p>My subject reviewer roped me into doing a 15-min-ish presentation on my work with Polonius at a <a href="http://wrigstad.com/pl-meetup/" target="_blank" title="http://wrigstad.com/pl-meetup/">Programing Language Research Meetup at Oracle</a> in Stockholm next Wednesday (June 12th). My plan is to first explain what the borrow check does, and then show some of the Datalog and the corresponding Datafrog code. Suggestions are welcome!</p>



<a name="167328746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328746">(Jun 04 2019 at 19:33)</a>:</h4>
<p>ooh nice :)</p>



<a name="167328830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328830">(Jun 04 2019 at 19:34)</a>:</h4>
<p>Niko's first post about Polonius seems like good material</p>



<a name="167328851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328851">(Jun 04 2019 at 19:34)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> presenting things to other people can be super useful, so good luck and hopefully it'll be fun! <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span></p>



<a name="167328924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167328924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167328924">(Jun 04 2019 at 19:35)</a>:</h4>
<p>Thanks, and yeah!</p>



<a name="167329004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329004">(Jun 04 2019 at 19:36)</a>:</h4>
<p>if you're showing datafrog code, then Frank's post about that can also be useful material for the presentation</p>



<a name="167329059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329059">(Jun 04 2019 at 19:37)</a>:</h4>
<p>I think so too. I'll try to get into my liveness stuff even if it isn't that interesting from a technical standpoint too because a) I can show nice rainbow graphs and b) I actually know that part</p>



<a name="167329140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329140">(Jun 04 2019 at 19:38)</a>:</h4>
<p>But I thought I should give a heads-up that I'm going</p>



<a name="167329152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329152">(Jun 04 2019 at 19:38)</a>:</h4>
<p>good luck for the presentation !</p>



<a name="167329158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329158">(Jun 04 2019 at 19:38)</a>:</h4>
<p>Thanks!</p>



<a name="167329171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329171">(Jun 04 2019 at 19:39)</a>:</h4>
<p>yeah, good luck!</p>



<a name="167329208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329208">(Jun 04 2019 at 19:39)</a>:</h4>
<p>Ok, NOW we can be scheduling experts</p>



<a name="167329220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329220">(Jun 04 2019 at 19:39)</a>:</h4>
<p>Just...slightly late scheduling experts</p>



<a name="167329246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329246">(Jun 04 2019 at 19:40)</a>:</h4>
<p>expert scheduling is <em>back ON</em> <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="167329304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329304">(Jun 04 2019 at 19:40)</a>:</h4>
<p>(I think as a former TA at a course in combinatorial optimisation that dealt in scheduling I am perhaps allowed to refer to myself as a literal scheduling expert)</p>



<a name="167329440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329440">(Jun 04 2019 at 19:42)</a>:</h4>
<p>I will make sure to mention in the minutes that you will be our resident scheduling expert from now on</p>



<a name="167329517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167329517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167329517">(Jun 04 2019 at 19:42)</a>:</h4>
<blockquote>
<p>(I think as a former TA at a course in combinatorial optimisation that dealt in scheduling I am perhaps allowed to refer to myself as a literal scheduling expert)</p>
</blockquote>
<p>legit.</p>



<a name="167570787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167570787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167570787">(Jun 07 2019 at 12:12)</a>:</h4>
<p>I might be a bit late for today's Zoom call, but please start without me and I'll join in</p>



<a name="167571901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167571901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167571901">(Jun 07 2019 at 12:29)</a>:</h4>
<p>speaking of which, sorry that it's this late before the meeting, but I have prepared <a href="https://hackmd.io/EqECXcd7TIGj97lVNc4dhw?view" target="_blank" title="https://hackmd.io/EqECXcd7TIGj97lVNc4dhw?view">this</a> describing my (still not working) explorations about the experimental variant (not sure it’s super useful, but since we should be talking about tracking subsets, it seemed fitting)</p>



<a name="167573178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167573178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167573178">(Jun 07 2019 at 12:47)</a>:</h4>
<p>I actually can't attend the call as I have to go an serve beer at our local streetmusic festival! unfortunately someone called in sick, so I have to leave earlier</p>



<a name="167574575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167574575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167574575">(Jun 07 2019 at 13:04)</a>:</h4>
<p><span class="user-mention" data-user-id="127262">@Aaron Weiss</span> and I are here =)</p>



<a name="167574591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167574591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167574591">(Jun 07 2019 at 13:05)</a>:</h4>
<p><a href="https://mozilla.zoom.us/j/143323097" target="_blank" title="https://mozilla.zoom.us/j/143323097">Zoom link</a></p>



<a name="167574685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167574685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167574685">(Jun 07 2019 at 13:06)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Polonius-and-subset-propagation--AemU19yUmQ461DupzxgaCj2NAg-2uMIPkQSbqpPjqrJ9L9DM" target="_blank" title="https://paper.dropbox.com/doc/Polonius-and-subset-propagation--AemU19yUmQ461DupzxgaCj2NAg-2uMIPkQSbqpPjqrJ9L9DM">Paper document</a></p>



<a name="167578453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167578453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167578453">(Jun 07 2019 at 13:55)</a>:</h4>
<p>thanks everyone :)</p>



<a name="167584377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167584377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167584377">(Jun 07 2019 at 15:01)</a>:</h4>
<p><a href="https://youtu.be/mAUGvNgZYtw" target="_blank" title="https://youtu.be/mAUGvNgZYtw">Recording</a> -- still processing</p>
<div class="youtube-video message_inline_image"><a data-id="mAUGvNgZYtw" href="https://youtu.be/mAUGvNgZYtw" target="_blank" title="https://youtu.be/mAUGvNgZYtw"><img src="https://i.ytimg.com/vi/mAUGvNgZYtw/default.jpg"></a></div>



<a name="167593857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167593857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167593857">(Jun 07 2019 at 17:02)</a>:</h4>
<p>/me is feeling full of energy and motivation after the meeting</p>



<a name="167603721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167603721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167603721">(Jun 07 2019 at 18:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I guess the video worth to be added to <a href="https://www.youtube.com/playlist?list=PL85XCvVPmGQhOL-J2Ng7qlPvDVOwYpGTN" target="_blank" title="https://www.youtube.com/playlist?list=PL85XCvVPmGQhOL-J2Ng7qlPvDVOwYpGTN">rustc lectures series playlist</a>, right? :)</p>



<a name="167603781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167603781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167603781">(Jun 07 2019 at 18:59)</a>:</h4>
<p>if it makes sense add it and let me know so I can also add that to the pending to be transcribed list of videos</p>



<a name="167608045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167608045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167608045">(Jun 07 2019 at 19:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> mm unclear</p>



<a name="167608058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167608058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167608058">(Jun 07 2019 at 19:49)</a>:</h4>
<p>I mean it's interesting but it's also kind of "prospective design"</p>



<a name="167842204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.04/near/167842204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E04.html#167842204">(Jun 11 2019 at 11:49)</a>:</h4>
<p>(sorry for the delay as always, I've finally posted the minutes for this meeting <a href="https://github.com/rust-lang/compiler-team/pull/105" target="_blank" title="https://github.com/rust-lang/compiler-team/pull/105">here</a>)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>